Самый Важный Принцип Типирования. Мотивы Семантики